Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2004 | 1 |
2011 | 1 |
2015 | 1 |
2016 | 1 |
2019 | 1 |
2020 | 1 |
2024 | 0 |
Search Results
4 results
Results by year
Filters applied: . Clear all
Page 1
Transition Semantics for Branching Time.
J Logic Lang Inf. 2016;25:77-108. doi: 10.1007/s10849-015-9231-6. Epub 2015 Nov 6.
J Logic Lang Inf. 2016.
PMID: 27069305
Free PMC article.
In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consist …
In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replac …
Synthesis from hyperproperties.
Finkbeiner B, Hahn C, Lukert P, Stenger M, Tentrup L.
Finkbeiner B, et al.
Acta Inform. 2020;57(1):137-163. doi: 10.1007/s00236-019-00358-2. Epub 2019 Dec 7.
Acta Inform. 2020.
PMID: 32189717
Free PMC article.
We study the reactive synthesis problem for hyperproperties given as formulas of the temporal logic HyperLTL. Hyperproperties generalize trace properties, i.e., sets of traces, to sets of sets of traces. Typical examples are information-flow policies like noninterfe …
We study the reactive synthesis problem for hyperproperties given as formulas of the temporal logic HyperLTL. Hyperproperties …
Item in Clipboard
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.
Arellano G, Argil J, Azpeitia E, Benítez M, Carrillo M, Góngora P, Rosenblueth DA, Alvarez-Buylla ER.
Arellano G, et al.
BMC Bioinformatics. 2011 Dec 22;12:490. doi: 10.1186/1471-2105-12-490.
BMC Bioinformatics. 2011.
PMID: 22192526
Free PMC article.
BACKGROUND: In Thomas' formalism for modeling gene regulatory networks (GRNs), branching time, where a state can have more than one possible future, plays a prominent role. ...Currently, software systems for Boolean GRNs use branching time almost exclu …
BACKGROUND: In Thomas' formalism for modeling gene regulatory networks (GRNs), branching time, where a state can have more tha …
Item in Clipboard
Fuzzy branching temporal logic.
Moon SI, Lee KH, Lee D.
Moon SI, et al.
IEEE Trans Syst Man Cybern B Cybern. 2004 Apr;34(2):1045-55. doi: 10.1109/tsmcb.2003.819485.
IEEE Trans Syst Man Cybern B Cybern. 2004.
PMID: 15376850
Fuzzy linear temporal logic (FLTL), a generalization of propositional linear temporal logic (PLTL) with fuzzy temporal events and fuzzy temporal states defined on a linear time model, was previously proposed for this purpose. ...In this p …
Fuzzy linear temporal logic (FLTL), a generalization of propositional linear temporal logic (PLTL) with fuzzy …
Item in Clipboard
Cite
Cite